141. Functional programming, concurrency, simulation and automated reasoning : international lecture series 1991-1992, McMaster University, Hamilton, Ontario, Canada
Author:
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Electronic digital computers-- Programming-- Congresses,، Functional programming )Computer science(-- Congresses,، Parallel programming )Computer science(-- Congresses,، Automatic theorem proving-- Congresses,، Computer simulation-- Congresses
Classification :
QA
76
.
6
.
F853
1993
142. Fundamental algorithms for computer graphics
Author: NATO Advanced Study Institute on Fundamental Algorithms for Computer Graphics )5891 : Ilkley, West Yorkshire(
Library: Library of Niroo Research Institue (Tehran)
Subject: ، Electronic digital computers- Programming- Congresses,، Computer algorithms- Congresses,، Computer graphics- Congresses
Classification :
QA
76
.
6
.
N379
1985
143. Fundamental algorithms for computer graphics
Author: NATO Advanced Study Institute on Fundamental Algorithms for Computer Graphics, )5891, Ilkley, West Yorkshire(
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Electronic digital computers-- Programming-- Congresses,، Computer algorithms-- Congresses,، Computer graphics-- Congresses
Classification :
QA
76
.
6
.
N379
1985
144. GI 3. Fachtagung uber programmiersprachen Kiel, 5-7, Marz, 1974
Author: Herausgegeben von Bodo Schlender und Wolfgang Frielinghaus
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Programming languages )Electronic computers(
Classification :
QA
76
.
L28
Vol
.
7
145. GI-NTG Fachtagung struktur und Betrieb von Recheusystemen, Braunschweig 20-22. 3. 1974 im Auftrag der GI und der NTG
Author:
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Electronic digital computers-- Programming-- Congresses,، Electronic digital computers-- Evaluation-- Congresses
Classification :
QA
76
.
6
.
G18
1974
146. GI-NTG : fachtagung struktur und betrieb von Rechensystemen : Braunschweig, 20-22, 3, 1974
Author: Herausgegeben in Auftrag der GI und der NTG von H.-O. Leilich
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Computer programming,Evaluations -- Congresses ، Electronic digital computers
Classification :
QA
76
.
L28
Vol
.
8
147. Generalized quantifiers and computation
Author: Jouko Väänänen (ed.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer logic, Congresses.,Computer science-- Mathematics, Congresses.,Programming languages (Electronic computers), Congresses.
148. Graphic languages. Proceedings
Author: IFIP Working Conference on Graphic Languages, 2791, Vancouver, B.C.
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Computer graphics-- Congresses,، Programming languages )Electronic computers(-- Congresses
Classification :
T
385
.
I25
1972
149. HOPL III
Author: sponsored by ACM SIGPLAN ; in-cooperation with ACM SIGSOFT.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Programming languages (Electronic computers)-- History, Congresses.
150. Hardware description languages and their applications: specification, modelling, verification and synthesis of microelectronic systems: IFIP TC10 WG10.5 International Conference on Computer Hardware Description Languages and their Applications, 20-25 April 1997, Toledo, Spain
Author:
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Electronic digital computers-- Design and construction-- Data processing-- Congresses,، Digital electronics-- Data processing-- Congresses,، Programming language )Electronic computers(-- Congresses
Classification :
TK
7888
.
3
.
I57
1997
151. History of programming languages
Author:
Library: Central Library of Esfehan University of Technology (Esfahan)
Subject: Programming languages (Electronic computers)- History- Congresses
Classification :
76
.
7
.
H56
152. How to make computers easier to use : digest of papers
Author: Compcon, )11th, 5791, Washington, D.C.(
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Electronic digital computers-- Programming-- Congresses,، Computer engineering-- Congresses
Classification :
QA
76
.
6
.
C6276
1975
153. IFIP working conference on command languages, lund, sweden, 1974. command languages; proceedings
Author: Command languages
Library: Central Library and Document Center of Isfahan University (Esfahan)
Subject: Programming languages (Electronic computers)- congresses
Classification :
001
I61c
154. Intelligent and congnitive systems: Proceedings of the International Conference on Intelligent Systems Research Faculty, September 23-26, 1996, Tehran, Ira
Author:
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Cognition-- Mathematical models-- Congresses,، Cognition-- Data processing-- Congresses,، Cognition science-- Congresses,، Electronic digital computers-- Programming-- Congresses
Classification :
BF
311
.
I5664
1996
155. International Computing Symposium, 1977 : proceedings of the International Computing Symposium, 1977, Li،ge, Belgium, 4-7 April 1977
Author: International Computing Symposium, 5th, 7791, Li،ge, Belgium
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Electronic data processing - Congresses,، Computers - Congresses,، Programming )Electronic computers( - Congresses
Classification :
QA
75
.
5
.
I57
1977
156. International Symposium on Programming : proceedings of the fourth Colloque international sur la programmation, Paris, 22-24 April 1980
Author: International Symposium on Programming, 4th, 0891, Paris
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Electronic digital computers-- Programming-- Congresses
Classification :
QA
76
.
6
.
I575
1980
157. International Symposium on Programming : proceedings of the fourth Colloque international sur la programmation, Paris, 22-24 April 1980
Author: edited by B. Robinet
Library: Central Library and Documentation Center (Kerman)
Subject: Congresses ، Electronic digital computers - Programming
Classification :
QA
76
.
L4
v
.
83
158. International Symposium on Programming : proceedings, 5th colloquium, Turin, April 6-8, 1982
Author: International Symposium on Programming, )5th, 2891, Turin, Italy(
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Electronic digital computers-- Programming-- Congresses
Classification :
QA
76
.
6
.
I575
1982
159. International Symposium on Programming : 6th colloquium, Toulouse, April 17-19, 1984 : proceedings
Author: International Symposium on Programming, )6th, 4891, Toulouse, France(
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Electronic digital computers-- Programming-- Congresses
Classification :
QA
76
.
6
.
I575
1984
160. International Symposium on Programming : 6th colloquium, Toulouse, April 17-19, 1984 : proceedings
Author: edited by M. Paul and B. Robinet
Library: Central Library and Documentation Center (Kerman)
Subject: Congresses ، Electronic digital computers - Programming
Classification :
QA
76
.
L4
v
.
167
